The System Safety Assessment by the Use of Programming Tools during the Licensing Process
نویسنده
چکیده
Programming tools for a software safety assessment support during licensing of digital systems are addressed. Expediency and necessity of the use of such tools, its functions, and methodology of the software safety assessment are considered. The paper is based on the experience with the ExpertPro tool, developed by Ukrainian State Scientific and Technical Center on Nuclear and Radiation Safety for the review of digital control systems at nuclear power plants (NPPs).
منابع مشابه
Challenges and Prospects for Integrating the Assessment of Health Impacts in the Licensing Process of Large Capital Project in Brazil
Brazil was one of the first countries in Latin America to institutionalize a National Environmental Policy in 1981, including the environmental impact assessment (EIA) process of economic activities with anticipated impacts on the environment. Today, EIA practice in Brazil comes with a number of limitations: it is constrained by its environmental advocacy role; application is strongly oriented ...
متن کاملThe International Landscape of Medical Licensing Examinations: A Typology Derived From a Systematic Review
Background National licensing examinations (NLEs) are large-scale examinations usually taken by medical doctors close to the point of graduation from medical school. Where NLEs are used, success is usually required to obtain a license for full practice. Approaches to national licensing, and the evidence that supports their use, varies significantly across the globe. This paper aims to develop a...
متن کاملModel of the Selection KPI for assessing the performance of the Urban HSE management system
Abstract: Background and aims: Performance assessment and also performance indicators have a great importance in all aspects of life. By these indicators appropriate responses to what is happening for make some improvement, could be determined. In the past, the safety and health performance of organizations was measured with using of some indicators from the USA Occupational Health and Safet...
متن کاملQuantitative Safety and Health Assessment Based on Fuzzy Inference and AHP at Preliminary Design Stage
Quantitative assessment is the most important means to identify hazard potential and manage risk for an industrial process. The implement of quantitative assessment in the early stage will help to develop inherently safer process, eliminating the hazard and reduce the possibility of accidental chain events and the magnitude of consequences. In this paper, after reviewing the presently available...
متن کاملModeling Ghotour-Chai River’s Rainfall-Runoff process by Genetic Programming
Considering the importance of water and computing the amount of rainfall runoff resulted from precipitation in recent decades, using appropriate methods for predicting the amount of runoff from rainfall date has been really essential. Rainfall-runoff models are used to estimate runoff generated from precipitation in the catchment area. Rainfall-runoff process is totally a non-linear phenomenon....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999